multivariable delta-epsilon limit proofs